Assumptions made in this paper

This paper should be read by anyone intending to use one of the ILOG tools with SNiFF+'s workspace and make support features. It is assumed that the reader is familiar with the basic concepts of both sides of this integration--with the ILOG tool the reader intends to use and with SNiFF+'s workspace and make support features. Furthermore it is assumed that both tools have already been installed and set up.